Exact fluid lumpability in Markovian process algebra
نویسندگان
چکیده
منابع مشابه
Exact Fluid Lumpability for Markovian Process Algebra
We study behavioural relations for process algebra with a fluid semantics given in terms of a system of ordinary differential equations (ODEs). We introduce label equivalence, a relation which is shown to induce an exactly lumped fluid model, a potentially smaller ODE system which can be exactly related to the original one. We show that, in general, for two processes that are related in the flu...
متن کاملExact Fluid Lumpability for Chemical Reaction Networks
We present a technique for the automatic reduction of chemical reaction networks (CRNs). We study exact fluid lumpability, a partition of species satisfying the dynamical property that species in the same block have the same output at all times if initialized equally. Inspired by analogous approaches in traditional models of computation such as labelled transition systems, we characterize this ...
متن کاملExtended Markovian Process Algebra
EMPA enhances the expressiveness of classical process algebras by integrating functional and performance descriptions of concurrent systems. This is achieved by ooering, besides passive actions (useful for pure nondeterminism), actions whose duration is exponentially distributed as well as immediate actions (useful for performance abstraction), parametrized by priority levels (hence prioritized...
متن کاملA fluid analysis framework for a Markovian process algebra
Markovian process algebras, such as PEPA and stochastic π-calculus, bring a powerful compositional ap-proach to the performance modelling of complex systems. However, the models generated by process alge-bras, as with other interleaving formalisms, are susceptible to the state space explosion problem. Modelswith only a modest number of process algebra terms can easily generate so ma...
متن کاملGeneralized Semi-Markovian Process Algebra
We present GSMPA, a stochastically timed process algebra that enhances the expressiveness of the stochastically timed process algebra EMPA by allowing arbitrarily distributed durations to be directly modeled through the adoption of the mechanism of action identification as well as the adoption of the preselection policy for alternative actions. GSMPA is introduced together with the definition o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Theoretical Computer Science
سال: 2014
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2013.07.029